SAT functions and graphs